$\forall$$f$:(Top$\rightarrow$Top), $n$:$\mathbb{N}$, $l$:(Top List). firstn($n$;map($f$;$l$)) $\sim$ map($f$;firstn($n$;$l$))